CP-logic: A language of causal probabilistic events and its relation to logic programming
نویسندگان
چکیده
منابع مشابه
CP-logic: A language of causal probabilistic events and its relation to logic programming
This papers develops a logical language for representing probabilistic causal laws. Our interest in such a language is twofold. First, it can be motivated as a fundamental study of the representation of causal knowledge. Causality has an inherent dynamic aspect, which has been studied at the semantical level by Shafer in his framework of probability trees. In such a dynamic context, where the e...
متن کاملCombining Probabilistic, Causal, and Normative Reasoning in CP-logic
In recent years the search for a proper formal definition of actual causation – i.e., the relation of causeeffect as it is instantiated in specific observations, rather than general causal relations – has taken on impressive proportions. In part this is due to the insight that this concept plays a fundamental role in many different fields, such as legal theory, engineering, medicine, ethics, et...
متن کاملA Causal Logic of Logic Programming
The causal logic from (Bochman 2003b) is shown to provide a natural logical basis for logic programming. More exactly, it is argued that any logic program can be seen as a causal theory satisfying the Negation As Default principle (alias Closed World Assumption). Moreover, unlike well-known translations of logic programs to other nonmonotonic formalisms, the established correspondence between l...
متن کاملProbabilistic Logic Programming for Natural Language Processing
The ambition of Artificial Intelligence is to solve problems without human intervention. Often the problem description is given in human (natural) language. Therefore it is crucial to find an automatic way to understand a text written by a human. The research field concerned with the interactions between computers and natural languages is known under the name of Natural Language Processing (NLP...
متن کاملCausal Logic Programming
In this work, we present a causal extension of logic programming under the stable models semantics where, for a given stable model, we capture the alternative causes of each true atom. The syntax is extended by the simple addition of an optional reference label per each rule in the program. Then, the obtained causes rely on the concept of a causal proof : an inverted tree of labels that keeps t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theory and Practice of Logic Programming
سال: 2009
ISSN: 1471-0684,1475-3081
DOI: 10.1017/s1471068409003767